Grice, Studies in the Way of Words, 351–2: The most general complaint, which comes from Strawson, Searle, and Mrs. Jack, seems to be that I have, wholly or partially, misidentified the intended (or M-intended) effect i

Source URL: johnmacfarlane.net

• Philosophy of language
• Semantics
• Meaning
• Philosophical logic
• Dichotomies
• P. F. Strawson
• Is–ought problem
• Word
• Subject
• Linguistics
• Analytic philosophy
• Philosophy

TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl

Source URL: www.staff.science.uu.nl

• Epistemic modal logic
• Normal modal logic
• Deontic logic
• Common knowledge
• Temporal logic
• Dynamic logic
• Kripke semantics
• Multimodal logic
• Logic
• Mathematical logic
• Modal logic

Electronic Notes in Theoretical Computer Sciencehttp://www.elsevier.nl/locate/entcs/volume87.html 150 pages Synthetic topology of data types and classical spaces Mart´ın Escard´o

Source URL: www.cs.bham.ac.uk

• Domain theory
• Stone duality
• Continuous function
• Cantor space
• Discrete space
• Hausdorff space
• Compact space
• Space
• Denotational semantics
• Topology
• General topology
• Topological spaces

Some Recommended Philosophy Readings for future students of Computer Science and Philosophy General Philosophy (all Philosophy students) The first year “General Philosophy” course covers topics particularly associate

Source URL: www.cs.ox.ac.uk

• Mathematical logic
• Analytic philosophers
• Theoretical computer science
• Epistemologists
• Peter Millican
• Logic
• Alan Turing
• Jack Copeland
• Game semantics
• Science
• Philosophy
• Knowledge

6. Saying ThingsDoes your dog bite? IMMANENT CLOSURE Two problems. First, deduction is supposed to be knowledgepreserving in general, not only with parts. Immanent closure doesn’t account for this. The secon

Source URL: www.philosophy.ox.ac.uk

• Semantics
• Pragmatics
• Presupposition
• Modal logic
• Definite description
• If and only if
• Entailment
• Logic
• Philosophical logic
• Binary operations

Semiology and Urbanism Roland Barthes The subject of this discussion concerns a certain number "Of the problems of urban semiology. But I must add that anyone who wants to sketch a semiotics of the city must be

Source URL: rosswolfe.files.wordpress.com

• Analytic philosophy
• Science
• Communication
• Philosophical logic
• Sign
• Course in General Linguistics
• Semantics
• Roland Barthes
• Semiotics
• Philosophy of language
• Meaning

A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es

Source URL: www.pps.univ-paris-diderot.fr

• Orbifold
• Symbol
• Metalogic
• Model theory
• Programming language semantics

Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump

Source URL: www.seas.upenn.edu

• Logic in computer science
• Mathematical logic
• Type theory
• Dependently typed programming
• Higher-order functions
• Append
• Curry–Howard correspondence
• Curry
• Structural induction
• Software engineering
• Computing
• Computer programming

Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg

Source URL: www.seas.upenn.edu

• Philosophy of language
• Philosophy of mind
• Semantics
• Linguistics
• Science
• Entailment
• Logic
• Interpretation
• Model theory

NUOVA SERIECOMPUTABILITY, CONCEPTUAL COMPLEXITY AND GENERAL SEMANTICS

Source URL: fgc.math.ist.utl.pt